Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
191	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Theoretical computer science Data types Computing Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Software engineering Type theory Object-oriented programming
192	The Logical Basis of Evaluation Order and Pattern-Matching Noam Zeilberger Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2009-10-21 18:53:38 Theoretical computer science Logic in computer science Proof theory Data types Dependently typed programming Natural deduction Curry–Howard correspondence Linear logic Subtype polymorphism Logic Mathematics Type theory
193	Well-typed programs can’t be blamed Philip Wadler Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-05-16 09:09:09 Computer science Lambda calculus Data types Theory of computation Logic in computer science Subtype polymorphism Type system Type safety Typed lambda calculus Type theory Mathematics Theoretical computer science
194	A Fault Model for Subtype Inheritance and Polymorphism Jeff Offutt Department of Information and Software Engineering Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2003-02-07 01:00:35 Computer programming Method overriding Inheritance C++ Method Object Polymorphism in object-oriented programming Subtype polymorphism Class Software engineering Object-oriented programming Computing
195	A Critical Look at Inheritance “You can choose your friends, but you’re stuck with your ancestors.” Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2000-10-04 06:03:32 Computing Inheritance Multiple inheritance Objective-C Fragile base class Class Method overriding Subtype polymorphism Object composition Object-oriented programming Software engineering Computer programming
196	Type and Effect Systems Flemming Nielson & Hanne Riis Nielson Department of Computer Science, Aarhus University, Denmark. Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:04:35 Programming language theory Computing Program analysis Type system Subtype polymorphism Dynamical system Type theory Data types Software engineering
197	Functional programming and type systems Master Parisien de Recherche en Informatique (MPRI) Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-01-17 19:26:45 Programming language theory Object-oriented programming Data types Polymorphism Lambda calculus Subtype polymorphism Type system Liskov substitution principle Parametric polymorphism Type theory Software engineering Theoretical computer science
198	ISO TC184 SC4 * WG5 N 65 P 2 Complete with EC for Editing, PMAG, or WG Add to Reading List Source URL: www.lisi.ensma.fr Language: English* - Date: 2005-04-01 03:15:00 Cross-platform software Data types Data modeling EXPRESS Subtype polymorphism C Operator SQL Null Computing Software engineering Computer programming
199	Liquid Types ∗ Patrick M. Rondon Add to Reading List Source URL: goto.ucsd.edu Language: English - Date: 2011-11-12 14:41:37 Software engineering Type system Type inference Valuation System F Function Hindley–Milner Subtype polymorphism Type theory Mathematics Programming language theory
200	Subtyping and Polymorphism in Object-Role Modelling T.A. Halpin and H.A. Proper1 Add to Reading List Source URL: www.orm.net Language: English - Date: 2004-04-03 17:42:38 Computing Type theory Computer programming Data types Polymorphism Subtype polymorphism Object-Role Modeling Inheritance Data model Software engineering Object-oriented programming Data modeling

UPDATE